NP问题的最优轮复杂性知识的零知识证明

NP问题已有的知识的(黑箱)零知识证明都是非常数轮的,因此,在标准的复杂性假设下,NP问题是否存在常数轮的(黑箱)知识的零知识证明是一个有意义的问题.本文对该问题进行了研究,在一定的假设下给出了HC问题的两个常数轮知识的零知识证明系统.根据Katz最近的研究结果,在多项式分层不坍塌的条件下,本文基于claw-free陷门置换给出的HC问题的5轮知识的零知识证明系统具有最优的轮复杂性.     

基于多种群混沌遗传神经网络的模拟电路故障诊断

针对标准遗传算法优化BP神经网络收敛慢,易陷入局部最优的问题,提出了改进的多种群协同进化遗传算法,该算法改变了以往的随机初始化方法,采用了附加混沌扰动的tent映射初始化均匀分布的种群,提高了初始解的质量;每个种群采用自适应交叉率和变异率,引入移民算子实现种群间的横向联系;算法通过多种群的协同进化和种群间的个体移植提高了算法的搜索均匀性和效率;仿真实验表明该算法误差小,收敛速度快,诊断正确率高,较好地解决了模拟电路的软故障诊断问题。     

OAuth2.0协议形式化验证: 使用AVISPA

OAuth协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议.由于关系到用户隐私,所以OAuth协议的安全性非常重要.这篇文章的主要贡献是研究OAuth2.0协议文本,对协议进行抽象,并且使用验证工具AVISPA对抽象后的协议进行建模与验证,找到协议中会导致隐私泄露的一种攻击模式.我们在建模过程中提出需将要验证的消息作为双方的对称密码这样一种创新思路.这种对协议的抽象和验证的方法可以推广到其他安全协议上,例如在线支付协议等等.     

基于藏语字性标注的词性预测研究

该文选取了藏语文中小学教材的部分语料,构建了带有藏语字性标记、词边界标记和词性标记的语料库,通过比较不同的分词、标注方法,证明分词、词性标注一体化效果比分步进行的效果好,准确率、召回率和F值分别提高了0.067、0.073和0.07。但词级标注模型难以解决词边界划分的一致性和未登录词的问题。基于此,作者提出可以利用字性和字构词的规律预测合成词的词性,既可以融入语言学知识又可以减少由未登录词导致的标注错误,实验结果证明,作为词性标注的后处理模块,基于字性标注的词性预测准确率提高到了0.916,这个结果已经比分词标注一体化结果好,说明字性标注对纠正词性错误标注有明显的效果。
     

Jboss Seam和JBPM在软件项目管理系统中的应用研究

通过研究J2EE新应用框架——Jboss Seam,发现Jboss Seam和JBPM工作流技术深度整合,初步实现了二者在实际软件项目中的应用。首先介绍了什么是JBPM,概述了什么是Jboss Seam。通过比较研究传统软件项目管理系统的不足,浅谈并分析了Jboss Seam和JBPM在软件项目管理系统中的应用优势。目的在于将JBPM的优势应用到软件开发的办公自动化管理当中,结合项目管理的特点,研究发现利用JBPM工作流引擎开发出的项目管理系统,利于团队合作和分工;在系统的开发过程中利用JBPM技术,能够降低程序开发的复杂度、简化代码的编写,提高开发效率。     

APS-FeW: Improving TCP throughput over multihop adhoc networks

TCP is a reliable transport protocol tuned to perform well over traditional wired networks. Although it performs well for wired networks, TCP’s implicit assumption that any packet loss is due to congestion is not valid any longer in mobile ad hoc networks. It is observed that TCP induces the over-action of routing protocol and reduces the performance of the connection. Fraction window increment (FeW) scheme for TCP improves the connection performance by limiting TCP’s aggressiveness. But to some extent, this limitation is too strict in that it eliminates the possibility to deliver more bytes under the same congestion window. To solve this problem, we propose an adaptive packet size (APS) scheme to work on top of FeW for TCP. The proposed scheme utilizes the advantages of both legacy TCP and FeW to achieve high performance over multihop 802.11 networks. Extensive simulation results demonstrate that APS over FeW outperforms FeW alone by 10–25% according to different scenarios, e.g., chain-topology, grid-topology, and random-topology with mobility.     

高职教师教学研资源管理与考核系统的研究

针对高职教师教学研管理人工考核弊端,指出了高职教师教学研资源管理和考核系统建立的必要性,整体设计高职教师教学研资源管理和考核系统的组织结构,结合教师工作特点,重点构建高职教师教学研考核指标体系,最后讨论了系统实现的技术流程,为信息化的高职教师教学研管理好考核系统设计与实现奠定了基础。     

Co-training机器学习方法在中文组块识别中的应用

采用半指导机器学习方法co2training 实现中文组块识别。首先明确了中文组块的定义,co-training 算法的形式化定义。文中提出了基于一致性的co-training 选取方法将增益的隐马尔可夫模型(Transductive HMM) 和基于转换规则的分类器(fnTBL) 组合成一个分类体系,并与自我训练方法进行了比较,在小规模汉语树库语料和大规模未带标汉语语料上进行中文组块识别,实验结果要比单纯使用小规模的树库语料有所提高,F 值分别达到了85134 %和83141 % ,分别提高了2113 %和7121 %。     

AVR单片机与VRAM型彩色液晶模块接口电路及驱动程序设计

以AVR单片机为控制核心,以LR035VRAM彩色液晶模块为人机界面,介绍ATmega1280单片机与VRAM型彩色液晶模块接口之间的设计方法。通过分析液晶模块的时序,阐述了在ATmega1280单片机中用软件模拟时序的方法,给出了基于ICCAVR编程语言的驱动程序设计模块,实现了对液晶模块LR035VRAM的显示控制。同时,将其成功移植应用在某火炮仿真瞄准训练显示系统中。